Posted
by MrBones
on Stack Overflow
See other posts from Stack Overflow
or by MrBones
Published on 2010-06-08T04:45:13Z
Indexed on
2010/06/08
4:52 UTC
Read the original article
Hit count: 260
Why can't Haskell resolve the kind of [[]] (A list of lists)?
Why isn't it simply * -> *, as I can give it a type like Int, and get [[Int]], which is of kind *.
© Stack Overflow or respective owner
as seen on Stack Overflow
- Search for 'Stack Overflow'
Trying to learn Haskell. I am trying to write a simple function to remove a number from a list without using built-in function (delete...I think). For the sake of simplicity, let's assume that the input parameter is an Integer and the list is an Integer list. Here is the code I have, Please tell me…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
I'm trying to use Haskells Data.Heap module, but I'm incapable of even using it with integers. The only heap I've been capable of using is "empty", which does not take any arguments.
Later on I'll figure out how to instance for my needs, but for now I'd be glad if I was even able to test it with…
>>> More
as seen on Programmers
- Search for 'Programmers'
There has been some intermingling of Scala and Haskell communities, and I have noticed now and then people commenting on stuff that's supposed to be easy in Haskell and hard and Scala. Less often (maybe because I read Scala questions, not Haskell ones), I see someone mentioning that something in Scala…
>>> More
as seen on Programmers
- Search for 'Programmers'
I have problems installing ghc-mod on my linux machine. cabal worries about "happy" not being available in versione = 1.17:
$ cabal install ghc-mod
Resolving dependencies...
[1 of 1] Compiling Main ( /tmp/haskell-src-exts-1.14.0-1357/haskell-src-exts-1.14.0/Setup.hs, /tmp/haskell-src-exts-1…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
fibs :: [Int]
fibs = 0 : 1 : [ a + b | (a, b) <- zip fibs (tail fibs)]
This generates the Fibonacci sequence.
I understand the behaviour of the guards, of :, zip and tail, but I don't understand <-. What is it doing here?
>>> More
as seen on Oracle Blogs
- Search for 'Oracle Blogs'
value types in the vm
p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 14.0px Times}
p.p2 {margin: 0.0px 0.0px 14.0px 0.0px; font: 14.0px Times}
p.p3 {margin: 0.0px 0.0px 12.0px 0.0px; font: 14.0px Times}
p.p4 {margin: 0.0px 0.0px 15.0px 0.0px; font: 14.0px Times}
…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
I'm working on a PoSh project that generates CSharp code, and then Add-Types it into memory.
The new types use existing types in an on disk DLL, which is loaded via Add-Type.
All is well and good untill I actualy try to invoke methods on the new types. Here's an example of what I'm doing:
$PWD…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
I am trying to determine which types or methods in a base framework assembly are being used by other assemblies in the application system. I cannot seem to find a straight-cut query to do that.
What i have to do is first determine which assemblies are directly using the framework assembly, then manually…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
Today I came to a fundamental paradox of the object programming style, concrete types or interfaces.
Whats the better election for a method's return type: a concrete type or an interface?
In most cases, I tend to use concrete types as the return type for methods. because I believe that an concrete…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
I'm trying to define a structural type defining anything that has an "add" method (for instance, a java collection or a java map). Using this, I want to define a few higher order functions that operate on a certain collection
object GenericTypes {
type GenericCollection[T] = { def add(value: T):…
>>> More
